Homotopy theory - PDFSEARCH.IO - Document Search Engine

Homotopy theory
Results: 956

#	Item
131	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
132	Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-11-09 16:34:04 Homotopy theory Model category Homotopical algebra Homotopy Higher category theory Topology Stable homotopy theory Homotopy group Homotopy type theory
133	Young Women in Topology Bonn, June 25 – 27, 2010 Factorability of Groups Viktoriya Ozornova Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-30 08:04:37 Lie groups Group theory Algebraic topology Homotopy theory Homological algebra Classifying space Cohomology Coxeter group Symmetric group Spectral sequence Natural transformation Norm
134	Higher-Dimensional Categories: an illustrated guide book Eugenia Cheng and Aaron Lauda University of Cambridge Add to Reading List Source URL: cat.boffosocko.com Language: English - Date: 2015-06-01 01:42:41 Category theory Abstract algebra Algebraic topology Homotopy theory Operad theory Definition Simplicial set Nerve Category of being Equivalence of categories E-operad
135	Global homotopy theory Stefan Schwede Mathematisches Institut Universit¨ at Bonn, Germany Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2016-07-22 06:13:40 Homotopy theory Homotopy category Classifying space Spectrum Model category Cohomology Homotopy Equivariant stable homotopy theory Orthogonal group Derived category Stable homotopy theory Triangulated category
136	THE SECOND REAL JOHNSON-WILSON THEORY AND NONIMMERSIONS OF RP n NITU KITCHLOO AND W. STEPHEN WILSON Abstract. In [HK01], Hu and Kriz construct the real Johnson-Wilson spectrum, ER(n), which is 2n+2 (2n − 1)-periodic, f Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Algebraic topology Homotopy theory Spectral sequences Group theory Projective geometry Real projective space Cohomology CW complex Thom space Exact couple Line bundle Serre spectral sequence
137	417 Documenta Math. Stable Cohomology of the Universal Picard Varieties and the Extended Mapping Class Group Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-08 05:24:28 Algebraic topology Homotopy theory Equivariant cohomology Classifying space Cohomology Chern class Fiber bundle Associated bundle Vector bundle Line bundle Fundamental group Mapping class group
138	Equivariant bordism from the global perspective Stefan Schwede Mathematisches Institut, Universität Bonn December 7, Glasgow Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-12-08 04:43:30 Homotopy theory Stable homotopy theory Homotopy Assembly map Equivariant cohomology
139	THE MORAVA K-THEORY OF SPACES RELATED TO BO NITU KITCHLOO, GERD LAURES, AND W. STEPHEN WILSON Abstract. We calculate the (p = 2) Morava K-theory of all of the spaces in the connective Omega spectra for Z × BO, BO, BSO, Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-03-30 15:19:14 Homotopy theory Algebraic topology Ring theory Algebras Hopf algebra Representation theory Cohomology Exterior algebra Coalgebra Ring EilenbergMacLane space Bott periodicity theorem
140	An introduction to equivariant homotopy theory Groups Consider compact Lie groups G and their closed subgroups H. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-25 16:26:27 Homotopy theory Group actions Group theory Algebraic topology Cohomology Equivariant cohomology Functor Homotopy Spectrum Burnside category Generalised Whitehead product

UPDATE